Mathematical object - PDFSEARCH.IO - Document Search Engine

Mathematical object
Results: 251

#	Item
31	Private Row Types: Abstracting the Unnamed Jacques Garrigue Graduate School of Mathematical Sciences, Nagoya University, Chikusa-ku, NagoyaAbstract. In addition to traditional recor Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2006-09-25 20:40:20 Functional languages Data types Functional programming Object-oriented programming languages Programming idioms OCaml Structural type system Scala ALGOL 68 Recursion Monad C++ classes
32	Commun. Math. PhysDigital Object Identifier (DOIs00220z Communications in Mathematical Add to Reading List Source URL: www.math.miami.edu Language: English - Date: 2006-12-09 12:57:20
33	J. Math. Biol. 42, 555–Digital Object Identifier (DOI): s002850100083 Mathematical Biology Add to Reading List Source URL: www.luchsinger-mathematics.ch Language: English - Date: 2008-04-29 03:49:32
34	Diamond SciSoft Python Guide Release 1.0 Diamond Light Source, Scientific Software Team January 21, 2016 Add to Reading List Source URL: www.opengda.org Language: English - Date: 2016-02-23 11:04:51 Object-oriented programming languages Scripting languages Array programming languages Mathematical software Cross-platform software NumPy Matplotlib Jython SciPy SageMath Hierarchical Data Format Array data type
35	Rely-Guarantee References for Refinement Types Over Aliased Mutable Data (Extended Version ∗) Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,mernst,djg}@cs.washington.edu Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-11-06 23:27:51 Mathematical logic Logic Theoretical computer science Logic in computer science Semantics Heap Predicate Immutable object Separation logic First-order logic Control FO
36	Diamond SciSoft Python Guide Release 1.0 Diamond Light Source, Scientific Software Team January 21, 2016 Add to Reading List Source URL: www.opengda.org Language: English - Date: 2016-02-23 11:05:09 Object-oriented programming languages Scripting languages Array programming languages Cross-platform software Mathematical software NumPy Matplotlib Jython SciPy Hierarchical Data Format SageMath ROOT
37	Commun. Math. PhysDigital Object Identifier (DOIs00220x Communications in Mathematical Add to Reading List Source URL: math.rutgers.edu Language: English - Date: 2006-07-03 13:32:23 Mathematical analysis Operator theory Physics Theoretical physics Quantum mechanics Operator Distribution Probability current Constructible universe De BroglieBohm theory Linear temporal logic Spectral theory of ordinary differential equations
38	J. Math. Biol. 42, 532–Digital Object Identifier (DOI): s002850100082 Mathematical Biology Add to Reading List Source URL: www.luchsinger-mathematics.ch Language: English - Date: 2008-04-29 03:56:12
39	Arch. Rational Mech. Anal–246 Digital Object Identifier (DOIs002050200189 Gradient Systems with Wiggly Energies and Related Averaging Problems Govind Menon Add to Reading List Source URL: www.dam.brown.edu Language: English - Date: 2007-06-06 15:27:47 Mathematical analysis Vector calculus Mathematics Limit of a function Laws of science Vector field Analysis Complex analysis
40	Arch. Rational Mech. Anal. Digital Object Identifier (DOIs00205Complete Integrability of Shock Clustering and Burgers Turbulence Govind Menon Add to Reading List Source URL: www.dam.brown.edu Language: English - Date: 2011-12-18 05:43:07 Calculus Mathematical analysis Mathematics Partial differential equations Hamiltonian mechanics Differential equations Mathematical physics Inverse scattering transform Scattering theory Markov chain Integrable system Ordinary differential equation